type equivalence造句

Nominal typing is useful at preventing accidental type equivalence, which allows better type-safety than structural typing.
In the case of C *-algebras, a stronger type equivalence, called "'strong Morita equivalence "', is needed to obtain results useful in applications, because of the additional structure of C *-algebras ( coming from the involutive *-operation ) and also because C *-algebras do not necessarily have an identity element.
It's difficult to find type equivalence in a sentence. 用type equivalence造句挺难的